Pattern calculus - PDFSEARCH.IO - Document Search Engine

Pattern calculus
Results: 51

#	Item
11	The Fusion Machine (extended abstract) Philippa Gardner1 , Cosimo Laneve2 , and Lucian Wischik2 1 2 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-09-03 06:29:14 Theoretical computer science Computability theory Process calculi -calculus Lambda calculus Process calculus Integration by substitution Limit of a function Substitution Heat equation Join-pattern
12	Project 1: Part 2 Here we continue the preliminary project. Calculus on Polynomials There’s a certain pattern in defining many generic functions: (define-generic (do-something (f)) ;; define it for appropriate non-Mero Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2016-02-05 12:38:07 Orthogonal polynomials Polynomials Interpolation Integral Lagrange polynomial Chebyshev polynomials Classical orthogonal polynomials
13	A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization Avraham Shinnar, Jérôme Siméon, and Martin Hirzel IBM Research Add to Reading List Source URL: hirzels.com Language: English - Date: 2015-07-24 11:50:14
14	A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization Avraham Shinnar, Jérôme Siméon, and Martin Hirzel IBM Research, USA {shinnar,simeon,hirzel}@us.ibm.com Add to Reading List Source URL: hirzels.com Language: English - Date: 2015-07-08 16:11:14
15	Detecting Pattern-Match Failures in Haskell Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22
16	Pattern-Matching Spi-Calculus∗ Christian Haack Security of Systems Group Faculty of Science, Radboud University Postbus 9010, 6500 GL Nijmegen, The Netherlands Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:41:03 Message authentication codes Public-key cryptography Public key infrastructure RSA BurrowsAbadiNeedham logic XTR
17	PATTERN-MATCHING SPI-CALCULUS∗ Christian Haack DePaul University Alan Jeffrey Bell Labs, Lucent Technologies Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:39:38 Public-key cryptography Public key infrastructure XTR BurrowsAbadiNeedham logic Four-square cipher OkamotoUchiyama cryptosystem
18	Multi-View Super Vector for Action Recognition Zhuowei Cai1 , Limin Wang1,2 , Xiaojiang Peng1 , Yu Qiao1,2∗ 1 Shenzhen Key Lab of Computer Vision and Pattern Recognition, Shenzhen Institutes of Advanced Technology, CAS Add to Reading List Source URL: www.cv-foundation.org Language: English - Date: 2014-05-18 15:54:05 Multivariate statistics Vector calculus Singular value decomposition Estimation theory Expectation–maximization algorithm Missing data Principal component analysis Mixture model Eigenvalues and eigenvectors Statistics Algebra Mathematics
19	Generating a Pattern Matching Compiler by Partial Evaluation Jesper Jørgensen ∗ DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:04 Logic in computer science Models of computation Lambda calculus Functional programming Programming language semantics Denotational semantics Fixed-point combinator Compiler-compiler Compiler Software engineering Computing Theoretical computer science
20	The mLite Language Nils M Holm, 2014 mLite is a general-pur pose, functional, lightweight, dynamic programming language. It borrows ideas from both the Scheme [R4RS] and Standard ML [DEFSML] languages, taking most of its Add to Reading List Source URL: www.t3x.org Language: English - Date: 2014-11-16 10:27:37 Functional programming Lambda calculus Higher-order functions Functional languages Data types Standard ML Anonymous function Pattern matching Monad Software engineering Declarative programming Computer programming

UPDATE